ESC supernova spectroscopy of non-ESC targets

ESC ⋆ Supernova spectroscopy of non - ESC targets

Aims. We present the spectra of 36 Supernovae (SNe) of various types, obtained by the European Supernova Collaboration. Because of the spectral classification and the phase determination at their discovery the SNe did not warrant further study, and the spectra we present are the only available for the respective objects. In this paper we present and discuss this material using a new software fo...

ESC/Java2: Uniting ESC/Java and JML Progress and issues in building and using ESC/Java2

The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML). The ESC/Java2 project, whose progress is described in this paper, builds on the final release of ESC/Java from DEC/SRC in several ways. It parses all of JML, thus can be used with the growing body of JML-annotated J...

Rome and ESC 2016

miRNAs in ESC differentiation.

MicroRNAs (miRNAs) are small sequences of noncoding RNAs that regulate gene expression by two basic processes: direct degradation of mRNA and translation inhibition. miRNAs are key molecules in gene regulation for embryonic stem cells, since they are able to repress target pluripotent mRNA genes, including Oct4, Sox2, and Nanog. miRNAs are unlike other small noncoding RNAs in their biogenesis, ...

ESC / Java 2 : Uniting ESC / Java and JML Progress and issues in building and using ESC / Java 2 , including a

The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML). The ESC/Java2 project, whose progress is described in this paper, builds on the final release of ESC/Java from DEC/SRC in several ways. It parses all of JML, thus can be used with the growing body of JML-annotated J...